Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
201	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Subanalytic Geometry EDWARD BIERSTONE AND PIERRE D. MILMAN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:22 Geometry Subanalytic set Nash functions Semialgebraic set Tarski–Seidenberg theorem Sheaf Algebraic variety Analytic function O-minimal theory Algebraic geometry Real algebraic geometry Abstract algebra
202	Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-09-28 10:55:49 Logic Algorithm Abstraction Model theory Function Model checking Mathematics Theoretical computer science Abstract interpretation
203	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-05-15 09:27:00 Distributed computing Fault tolerance Cryptography Failure Theory of computation Consensus Byzantine fault tolerance Promela Distributed algorithm Fault-tolerant computer systems Concurrent computing Computing
204	Empirical and Theoretical Support for Lenient Learning (Extended Abstract) Daan Bloembergen, Michael Kaisers, Karl Tuyls Maastricht University, P.O. Box 616, 6200MD, Maastricht, The Netherlands {daan.bloembergen, michael Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:04:17 Q-learning Knowledge Reinforcement learning Agent-based model Machine learning Game theory Science Markov models Artificial intelligence
205	A Superpolynomial Lower Bound for Strategy Iteration based on Snare Memorization Oliver Friedmann February 13, 2013 Abstract This paper presents a superpolynomial lower bound for the recently proposed snare memorization Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 06:59:41 Symbol Determinacy Parity game Structure Model theory Metalogic Logic Mathematics
206	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:26 Abstract algebra O-minimal theory Strongly minimal theory Definable set Structure Differentially closed field Real closed field Quantifier elimination Set theory Model theory Mathematical logic Mathematics
207	Advances in Applied Mathematics–466 www.elsevier.com/locate/yaama Smoothness of Schubert varieties via patterns in root subsystems Sara Billey a,1,∗ , Alexander Postnikov b,2 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:46:55 Lie groups Lie algebras Metalogic Model theory Euclidean geometry Root system Weyl group Entailment Embedding Abstract algebra Mathematics Logic
208	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
209	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:37 Field theory Diophantine geometry Number theory P-adic number Valuation FO Local zeta-function Constructible universe Igusa zeta-function Abstract algebra Mathematics Algebra
210	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic

UPDATE